complexconditional is package{
  R is relation {1;2;3};
  
  main() do {
    FF is (X where X>2) in R ? X | nonInteger;
    
    assert FF=3
  }
} 